Inhalt des Dokuments

Forschung

IFIP WG 1.8 Meeting 2009 - Co-Organisation

Donnerstag, 05. November 2009

Workshop on Formal Methods for Embedded Systems der IFIP WG 1.8 Concurrency Theory, co-organisiert durch Uwe Nestmann in Eindhoven (NL) während der Formal Methods Week.

---